Simpler Category Theory
ryanbrewer.dev·3h·
Discuss: Hacker News
➡️Category Theory
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🐫OCaml
Generic Reduction-Based Interpreters (Extended Version)
arxiv.org·2d
🔬Static Analysis
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·3h·
Discuss: Lobsters, Hacker News
🐫OCaml
SPL Lightweight Multisource Mixed Computation Practices
github.com·8h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Typechecker Zoo
sdiehl.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫OCaml
Const Trait Counterexamples
dbeef.dev·2h·
Discuss: Lobsters, Hacker News, r/rust
🐫OCaml
Lisp in 99 Lines of C With TinyLisp
hackaday.com·14h
⚙️PL Implementation
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
The Java type system is broken
wouter.coekaerts.be·1d·
Discuss: Hacker News
🔬Static Analysis
Monad Annoyance
macwright.com·9h·
Discuss: Lobsters, Hacker News
➡️Category Theory
Quantifying Baseball Pitch Tunneling with K-Nearest Neighbors
runningonnumbers.com·15h·
Discuss: Hacker News
🧪Property-Based Testing
Group Fair Matchings using Convex Cost Functions
arxiv.org·1d
➡️Category Theory
Building Code Retrieval for Claude Code from Scratch
zc277584121.github.io·1d·
Discuss: Hacker News
🐫Embedded OCaml
how to resolve a halting paradox
academia.edu·16h·
Discuss: r/programming
🔄Finite State Machines
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·12h
🐫OCaml
Why You Can't Afford to Ignore TypeScript? 🌟
thetshaped.dev·1d·
Discuss: r/programming
🔤DSLs
You Can Build Better AI Agents in Java Than Python
medium.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Constructor Best Practices in Rust
blog.cuongle.dev·1d·
Discuss: Hacker News
🐫OCaml
Can Large Models Teach Student Models to Solve Mathematical Problems Like Human Beings? A Reasoning Distillation Method via Multi-LoRA Interaction
arxiv.org·1d
✓Automated Theorem Proving